Micron Document
<!DOCTYPE html>
<html class="client-nojs vector-feature-night-mode-disabled vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-sticky-header-enabled" lang="en" dir="ltr"><head>
<meta charset="UTF-8">
<title>Granular computing</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="canonical" href="https://en.wikipedia.org/wiki/Granular_computing"> <link href="./mw/ext.math.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/skins.vector.styles.css" rel="stylesheet" type="text/css">
<link href="./mw/user.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link rel="stylesheet" type="text/css" href="./mw/site.styles.css">
<link rel="stylesheet" type="text/css" href="./mw/noscript.css">
<link rel="stylesheet" type="text/css" href="./footer.css">
<link rel="stylesheet" type="text/css" href="./vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Granular_computing rootpage-Granular_computing skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading">
<span id="openzim-page-title" class="mw-page-title-main"><span class="mw-page-title-main">Granular computing</span></span>
</h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="en" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr">
<p><b>Granular computing</b> is an emerging <a href="Computing" title="Computing">computing</a> paradigm of <a href="Data_processing" title="Data processing">information processing</a> that concerns the processing of complex information entities called "information <a href="Granulation" title="Granulation">granules</a>", which arise in the process of data abstraction and <a href="Knowledge_extraction" title="Knowledge extraction">derivation of knowledge</a> from information or data. Generally speaking, information granules are collections of entities that usually originate at the numeric level and are arranged together due to their <a href="Similarity_measure" title="Similarity measure">similarity</a>, functional or physical adjacency, indistinguishability, coherency, or the like.
</p><p>At present, granular computing is more a <i>theoretical perspective</i> than a coherent set of methods or principles. As a theoretical perspective, it encourages an approach to data that recognizes and exploits the knowledge present in data at various levels of resolution or scales. In this sense, it encompasses all methods which provide flexibility and adaptability in the resolution at which knowledge or information is extracted and represented.
</p>
<meta property="mw:PageProp/toc">
<div class="mw-heading mw-heading2"><h2 id="Types_of_granulation">Types of granulation</h2></div>
<p>As mentioned above, <i>granular computing</i> is not an algorithm or process; there is no particular method that is called "granular computing". It is rather an approach to looking at data that recognizes how different and interesting regularities in the data can appear at different levels of granularity, much as different features become salient in <a href="Satellite_images" class="mw-redirect" title="Satellite images">satellite images</a> of greater or lesser resolution. On a low-resolution satellite image, for example, one might notice interesting cloud patterns representing <a href="Cyclones" class="mw-redirect" title="Cyclones">cyclones</a> or other large-scale weather phenomena, while in a higher-resolution image, one misses these large-scale atmospheric phenomena but instead notices smaller-scale phenomena, such as the interesting pattern that is the streets of <a href="Manhattan" title="Manhattan">Manhattan</a>. The same is generally true of all data: At different resolutions or granularities, different features and relationships emerge. The aim of granular computing is to try to take advantage of this fact in designing more effective machine-learning and reasoning systems.
</p><p>There are several types of granularity that are often encountered in <a href="Data_mining" title="Data mining">data mining</a> and <a href="Machine_learning" title="Machine learning">machine learning</a>, and we review them below:
</p>
<div class="mw-heading mw-heading3"><h3 id="Value_granulation_(discretization/quantization)">Value granulation (discretization/quantization)</h3></div>
<p>One type of granulation is the <a href="Quantization_(signal_processing)" title="Quantization (signal processing)">quantization</a> of variables. It is very common that in data mining or machine-learning applications the resolution of variables needs to be <i>decreased</i> in order to extract meaningful regularities. An example of this would be a variable such as "outside temperature" (<span class="texhtml">temp</span>), which in a given application might be recorded to several decimal places of <a href="Arithmetic_precision" class="mw-redirect" title="Arithmetic precision">precision</a> (depending on the sensing apparatus). However, for purposes of extracting relationships between "outside temperature" and, say, "number of health-club applications" (<span class="texhtml mvar" style="font-style:italic;">club</span>), it will generally be advantageous to quantize "outside temperature" into a smaller number of intervals.
</p>
<div class="mw-heading mw-heading4"><h4 id="Motivations">Motivations</h4></div>
<p>There are several interrelated reasons for granulating variables in this fashion:
</p>
<ul><li>Based on prior <a href="Domain_knowledge" title="Domain knowledge">domain knowledge</a>, there is no expectation that minute variations in temperature (e.g., the difference between 80–80.7&nbsp;°F (26.7–27.1&nbsp;°C)) could have an influence on behaviors driving the number of health-club applications. For this reason, any "regularity" which our learning algorithms might detect at this level of resolution would have to be <i>spurious</i>, as an artifact of overfitting. By coarsening the temperature variable into intervals the difference between which we <i>do</i> anticipate (based on prior domain knowledge) might influence number of health-club applications, we eliminate the possibility of detecting these spurious patterns. Thus, in this case, reducing resolution is a method of controlling <a href="Overfitting" title="Overfitting">overfitting</a>.</li>
<li>By reducing the number of intervals in the temperature variable (i.e., increasing its <i>grain size</i>), we increase the amount of sample data indexed by each interval designation. Thus, by coarsening the variable, we increase sample sizes and achieve better statistical estimation. In this sense, increasing granularity provides an antidote to the so-called <i><a href="Curse_of_dimensionality" title="Curse of dimensionality">curse of dimensionality</a></i>, which relates to the exponential decrease in statistical power with increase in number of dimensions or variable cardinality.</li>
<li>Independent of prior domain knowledge, it is often the case that meaningful regularities (i.e., which can be detected by a given learning methodology, representational language, etc.) may exist at one level of resolution and not at another.</li></ul>

<p>For example, a simple learner or pattern recognition system may seek to extract regularities satisfying a <a href="Conditional_probability" title="Conditional probability">conditional probability</a> threshold such as <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p(Y=y_{j}|X=x_{i})\geq \alpha .}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>p</mi>
<mo stretchy="false">(</mo>
<mi>Y</mi>
<mo>=</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>j</mi>
</mrow>
</msub>
<mrow class="MJX-TeXAtom-ORD">
<mo stretchy="false">|</mo>
</mrow>
<mi>X</mi>
<mo>=</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
<mo stretchy="false">)</mo>
<mo>≥<!-- ≥ --></mo>
<mi>α<!-- α --></mi>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle p(Y=y_{j}|X=x_{i})\geq \alpha .}</annotation>
</semantics>
</math></span><img src="./3d5808fda4455bfeaf1fc9cdb67f7481ea886788.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; margin-left: -0.089ex; width:23.076ex; height:3.009ex;" alt="{\displaystyle p(Y=y_{j}|X=x_{i})\geq \alpha .}" loading="lazy"></span> In the special case where <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \alpha =1,}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>α<!-- α --></mi>
<mo>=</mo>
<mn>1</mn>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \alpha =1,}</annotation>
</semantics>
</math></span><img src="./b99d217bfa3a15fc9dbe0a37586a63db0b75990a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:6.395ex; height:2.509ex;" alt="{\displaystyle \alpha =1,}" loading="lazy"></span> this recognition system is essentially detecting <i><a href="Logical_implication" class="mw-redirect" title="Logical implication">logical implication</a></i> of the form <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X=x_{i}\rightarrow Y=y_{j}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>X</mi>
<mo>=</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
<mo stretchy="false">→<!-- → --></mo>
<mi>Y</mi>
<mo>=</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>j</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle X=x_{i}\rightarrow Y=y_{j}}</annotation>
</semantics>
</math></span><img src="./c6e6547abea84000c3a5c81697454265922b9c9b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:17.743ex; height:2.843ex;" alt="{\displaystyle X=x_{i}\rightarrow Y=y_{j}}" loading="lazy"></span> or, in words, "if <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X=x_{i},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>X</mi>
<mo>=</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle X=x_{i},}</annotation>
</semantics>
</math></span><img src="./352564ce502516b5b11216d56e896f077f48b9c5.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:7.855ex; height:2.509ex;" alt="{\displaystyle X=x_{i},}" loading="lazy"></span> then <span class="nowrap"><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Y=y_{j}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>Y</mi>
<mo>=</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>j</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Y=y_{j}}</annotation>
</semantics>
</math></span><img src="./5f23394ebacd10d6994e3a2d6ad0b914128a7f29.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:6.921ex; height:2.843ex;" alt="{\displaystyle Y=y_{j}}" loading="lazy"></span>".</span> The system's ability to recognize such implications (or, in general, conditional probabilities exceeding threshold) is partially contingent on the resolution with which the system analyzes the variables.
</p><p>As an example of this last point, consider the feature space shown to the right. The variables may each be regarded at two different resolutions. Variable <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>X</mi>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle X}</annotation>
</semantics>
</math></span><img src="./68baa052181f707c662844a465bfeeb135e82bab.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.98ex; height:2.176ex;" alt="{\displaystyle X}" loading="lazy"></span> may be regarded at a high (quaternary) resolution wherein it takes on the four values <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{x_{1},x_{2},x_{3},x_{4}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{x_{1},x_{2},x_{3},x_{4}\}}</annotation>
</semantics>
</math></span><img src="./610554a4014fd1ead9f53c7ebfe15c34b0a50842.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.962ex; height:2.843ex;" alt="{\displaystyle \{x_{1},x_{2},x_{3},x_{4}\}}" loading="lazy"></span> or at a lower (binary) resolution wherein it takes on the two values <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{X_{1},X_{2}\}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>X</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>X</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{X_{1},X_{2}\}.}</annotation>
</semantics>
</math></span><img src="./4d6f4606573fece1b2d91373bdff7c584af618d0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:9.963ex; height:2.843ex;" alt="{\displaystyle \{X_{1},X_{2}\}.}" loading="lazy"></span> Similarly, variable <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Y}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>Y</mi>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Y}</annotation>
</semantics>
</math></span><img src="./961d67d6b454b4df2301ac571808a3538b3a6d3f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.171ex; width:1.773ex; height:2.009ex;" alt="{\displaystyle Y}" loading="lazy"></span> may be regarded at a high (quaternary) resolution or at a lower (binary) resolution, where it takes on the values <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{y_{1},y_{2},y_{3},y_{4}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{y_{1},y_{2},y_{3},y_{4}\}}</annotation>
</semantics>
</math></span><img src="./b000d161969cde313ae5b0cfd9d32cadc249353d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.201ex; height:2.843ex;" alt="{\displaystyle \{y_{1},y_{2},y_{3},y_{4}\}}" loading="lazy"></span> or <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{Y_{1},Y_{2}\},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>Y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>Y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{Y_{1},Y_{2}\},}</annotation>
</semantics>
</math></span><img src="./7d810185a85fb4b57a9fee5fcdd034e36e2fb559.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:8.815ex; height:2.843ex;" alt="{\displaystyle \{Y_{1},Y_{2}\},}" loading="lazy"></span> respectively. At the high resolution, there are <b>no</b> detectable implications of the form <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X=x_{i}\rightarrow Y=y_{j},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>X</mi>
<mo>=</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
<mo stretchy="false">→<!-- → --></mo>
<mi>Y</mi>
<mo>=</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>j</mi>
</mrow>
</msub>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle X=x_{i}\rightarrow Y=y_{j},}</annotation>
</semantics>
</math></span><img src="./a67985d97398929ba0dbf7267b5efae6a993d46c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:18.389ex; height:2.843ex;" alt="{\displaystyle X=x_{i}\rightarrow Y=y_{j},}" loading="lazy"></span> since every <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x_{i}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle x_{i}}</annotation>
</semantics>
</math></span><img src="./e87000dd6142b81d041896a30fe58f0c3acb2158.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.129ex; height:2.009ex;" alt="{\displaystyle x_{i}}" loading="lazy"></span> is associated with more than one <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle y_{j},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>j</mi>
</mrow>
</msub>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle y_{j},}</annotation>
</semantics>
</math></span><img src="./5080e0d3456dd22b4cbbfd3d6ecab4efdf504dcc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:2.696ex; height:2.343ex;" alt="{\displaystyle y_{j},}" loading="lazy"></span> and thus, for all <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x_{i},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle x_{i},}</annotation>
</semantics>
</math></span><img src="./bb5a9bebf6a6fd218e4cf7f5e63dac56d42bcba0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.776ex; height:2.009ex;" alt="{\displaystyle x_{i},}" loading="lazy"></span> <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p(Y=y_{j}|X=x_{i})<1.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>p</mi>
<mo stretchy="false">(</mo>
<mi>Y</mi>
<mo>=</mo>
<msub>
<mi>y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>j</mi>
</mrow>
</msub>
<mrow class="MJX-TeXAtom-ORD">
<mo stretchy="false">|</mo>
</mrow>
<mi>X</mi>
<mo>=</mo>
<msub>
<mi>x</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
<mo stretchy="false">)</mo>
<mo>&lt;</mo>
<mn>1.</mn>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle p(Y=y_{j}|X=x_{i})&lt;1.}</annotation>
</semantics>
</math></span><img src="./f486bc6a751c696627244056826d2a9f8dee12be.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; margin-left: -0.089ex; width:22.751ex; height:3.009ex;" alt="{\displaystyle p(Y=y_{j}|X=x_{i})<1.}" loading="lazy"></span> However, at the low (binary) variable resolution, two bilateral implications become detectable: <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X=X_{1}\leftrightarrow Y=Y_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>X</mi>
<mo>=</mo>
<msub>
<mi>X</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo stretchy="false">↔<!-- ↔ --></mo>
<mi>Y</mi>
<mo>=</mo>
<msub>
<mi>Y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle X=X_{1}\leftrightarrow Y=Y_{1}}</annotation>
</semantics>
</math></span><img src="./1c4a88736d7dbd80b8893ff91ddbf9ab7d8dcb7c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:18.948ex; height:2.509ex;" alt="{\displaystyle X=X_{1}\leftrightarrow Y=Y_{1}}" loading="lazy"></span> and <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X=X_{2}\leftrightarrow Y=Y_{2}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>X</mi>
<mo>=</mo>
<msub>
<mi>X</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo stretchy="false">↔<!-- ↔ --></mo>
<mi>Y</mi>
<mo>=</mo>
<msub>
<mi>Y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle X=X_{2}\leftrightarrow Y=Y_{2}}</annotation>
</semantics>
</math></span><img src="./a2e755833e8685783c0c92ed4b54e04ee1bacd98.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:18.948ex; height:2.509ex;" alt="{\displaystyle X=X_{2}\leftrightarrow Y=Y_{2}}" loading="lazy"></span>, since every <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>X</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle X_{1}}</annotation>
</semantics>
</math></span><img src="./f70b2694445a5901b24338a2e7a7e58f02a72a32.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.979ex; height:2.509ex;" alt="{\displaystyle X_{1}}" loading="lazy"></span> occurs <i>iff</i> <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Y_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>Y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Y_{1}}</annotation>
</semantics>
</math></span><img src="./c909ab9869a6ca440f1244dc0e494f42b741b937.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.405ex; height:2.509ex;" alt="{\displaystyle Y_{1}}" loading="lazy"></span> and <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle X_{2}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>X</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle X_{2}}</annotation>
</semantics>
</math></span><img src="./2ad47c14b8a092f182512e76c96638aea6e3bea1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.979ex; height:2.509ex;" alt="{\displaystyle X_{2}}" loading="lazy"></span> occurs <i>iff</i> <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Y_{2}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>Y</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Y_{2}.}</annotation>
</semantics>
</math></span><img src="./958f9bab47e3bd3a7a200ace38850f9814642514.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.052ex; height:2.509ex;" alt="{\displaystyle Y_{2}.}" loading="lazy"></span> Thus, a pattern recognition system scanning for implications of this kind would find them at the binary variable resolution, but would fail to find them at the higher quaternary variable resolution.
</p>
<div class="mw-heading mw-heading4"><h4 id="Issues_and_methods">Issues and methods</h4></div>
<p>It is not feasible to exhaustively test all possible discretization resolutions on all variables in order to see which combination of resolutions yields interesting or significant results. Instead, the feature space must be preprocessed (often by an <a href="Information_entropy" class="mw-redirect" title="Information entropy">entropy</a> analysis of some kind) so that some guidance can be given as to how the discretization process should proceed. Moreover, one cannot generally achieve good results by naively analyzing and discretizing each variable independently, since this may obliterate the very interactions that we had hoped to discover.
</p><p>A sample of papers that address the problem of variable discretization in general, and multiple-variable discretization in particular, is as follows: <a href="#CITEREFChiuWongCheung1991">Chiu, Wong &amp; Cheung (1991)</a>, <a href="#CITEREFBay2001">Bay (2001)</a>, <a href="#CITEREFLiuHussainTanDasii2002">Liu et al. (2002)</a>, <a href="#CITEREFWangLiu1998">Wang &amp; Liu (1998)</a>, <a href="#CITEREFZighedRabasédaRakotomalala1998">Zighed, Rabaséda &amp; Rakotomalala (1998)</a>, <a href="#CITEREFCatlett1991">Catlett (1991)</a>, <a href="#CITEREFDoughertyKohaviSahami1995">Dougherty, Kohavi &amp; Sahami (1995)</a>, <a href="#CITEREFMontiCooper1999">Monti &amp; Cooper (1999)</a>, <a href="#CITEREFFayyadIrani1993">Fayyad &amp; Irani (1993)</a>, <a href="#CITEREFChiuCheungWong1990">Chiu, Cheung &amp; Wong (1990)</a>, <a href="#CITEREFNguyenNguyen1998">Nguyen &amp; Nguyen (1998)</a>, <a href="#CITEREFGrzymala-BusseStefanowski2001">Grzymala-Busse &amp; Stefanowski (2001)</a>, <a href="#CITEREFTing1994">Ting (1994)</a>, <a href="#CITEREFLudlWidmer2000">Ludl &amp; Widmer (2000)</a>, <a href="#CITEREFPfahringer1995">Pfahringer (1995)</a>, <a href="#CITEREFAnCercone1999">An &amp; Cercone (1999)</a>,
<a href="#CITEREFChiuCheung1989">Chiu &amp; Cheung (1989)</a>, <a href="#CITEREFChmielewskiGrzymala-Busse1996">Chmielewski &amp; Grzymala-Busse (1996)</a>, <a href="#CITEREFLeeShin1994">Lee &amp; Shin (1994)</a>, <a href="#CITEREFLiuWellman2002">Liu &amp; Wellman (2002)</a>, <a href="#CITEREFLiuWellman2004">Liu &amp; Wellman (2004)</a>.
</p>
<div class="mw-heading mw-heading3"><h3 id="Variable_granulation_(clustering/aggregation/transformation)">Variable granulation (clustering/aggregation/transformation)</h3></div>
<p>Variable granulation is a term that could describe a variety of techniques, most of which are aimed at reducing dimensionality, redundancy, and storage requirements. We briefly describe some of the ideas here, and present pointers to the literature.
</p>
<div class="mw-heading mw-heading4"><h4 id="Variable_transformation">Variable transformation</h4></div>
<p>A number of classical methods, such as <a href="Principal_component_analysis" title="Principal component analysis">principal component analysis</a>, <a href="Multidimensional_scaling" title="Multidimensional scaling">multidimensional scaling</a>, <a href="Factor_analysis" title="Factor analysis">factor analysis</a>, and <a href="Structural_equation_modeling" title="Structural equation modeling">structural equation modeling</a>, and their relatives, fall under the genus of "variable transformation." Also in this category are more modern areas of study such as <a href="Dimensionality_reduction" title="Dimensionality reduction">dimensionality reduction</a>, <a href="Projection_pursuit" title="Projection pursuit">projection pursuit</a>, and <a href="Independent_component_analysis" title="Independent component analysis">independent component analysis</a>. The common goal of these methods in general is to find a representation of the data in terms of new variables, which are a linear or nonlinear transformation of the original variables, and in which important statistical relationships emerge. The resulting variable sets are almost always smaller than the original variable set, and hence these methods can be loosely said to impose a granulation on the feature space. These dimensionality reduction methods are all reviewed in the standard texts, such as <a href="#CITEREFDudaHartStork2001">Duda, Hart &amp; Stork (2001)</a>, <a href="#CITEREFWittenFrank2005">Witten &amp; Frank (2005)</a>, and <a href="#CITEREFHastieTibshiraniFriedman2001">Hastie, Tibshirani &amp; Friedman (2001)</a>.
</p>
<div class="mw-heading mw-heading4"><h4 id="Variable_aggregation">Variable aggregation</h4></div>
<p>A different class of variable granulation methods derive more from <a href="Data_clustering" class="mw-redirect" title="Data clustering">data clustering</a> methodologies than from the linear systems theory informing the above methods. It was noted fairly early that one may consider "clustering" related variables in just the same way that one considers clustering related data. In data clustering, one identifies a group of similar entities (using a "<a href="Measure_of_similarity" class="mw-redirect" title="Measure of similarity">measure of similarity</a>" suitable to the domain — <a href="#CITEREFMartinoGiulianiRizzi2018">Martino, Giuliani &amp; Rizzi (2018)</a>), and then in some sense <i>replaces</i> those entities with a prototype of some kind. The prototype may be the simple average of the data in the identified cluster, or some other representative measure. But the key idea is that in subsequent operations, we may be able to use the single prototype for the data cluster (along with perhaps a statistical model describing how exemplars are derived from the prototype) to <i>stand in</i> for the much larger set of exemplars. These prototypes are generally such as to capture most of the information of interest concerning the entities.
</p>

<p>Similarly, it is reasonable to ask whether a large set of variables might be aggregated into a smaller set of <i>prototype</i> variables that capture the most salient relationships between the variables. Although variable clustering methods based on <a href="Linear_correlation" class="mw-redirect" title="Linear correlation">linear correlation</a> have been proposed (<a href="#CITEREFDudaHartStork2001">Duda, Hart &amp; Stork 2001</a>;<a href="#CITEREFRencher2002">Rencher 2002</a>), more powerful methods of variable clustering are based on the <a href="Mutual_information" title="Mutual information">mutual information</a> between variables. Watanabe has shown (<a href="#CITEREFWatanabe1960">Watanabe 1960</a>;<a href="#CITEREFWatanabe1969">Watanabe 1969</a>) that for any set of variables one can construct a <i><a href="Polytomy" title="Polytomy">polytomic</a></i> (i.e., n-ary) tree representing a series of variable agglomerations in which the ultimate "total" correlation among the complete variable set is the sum of the "partial" correlations exhibited by each agglomerating subset (see figure). Watanabe suggests that an observer might seek to thus partition a system in such a way as to minimize the interdependence between the parts "... as if they were looking for a natural division or a hidden crack."
</p><p>One practical approach to building such a tree is to successively choose for agglomeration the two variables (either atomic variables or previously agglomerated variables) which have the highest pairwise mutual information (<a href="#CITEREFKraskovStögbauerAndrzejakGrassberger2003">Kraskov et al. 2003</a>). The product of each agglomeration is a new (constructed) variable that reflects the local <a href="Joint_distribution" class="mw-redirect" title="Joint distribution">joint distribution</a> of the two agglomerating variables, and thus possesses an entropy equal to their <a href="Joint_entropy" title="Joint entropy">joint entropy</a>.
(From a procedural standpoint, this agglomeration step involves replacing two columns in the attribute-value table—representing the two agglomerating variables—with a single column that has a unique value for every unique combination of values in the replaced columns (<a href="#CITEREFKraskovStögbauerAndrzejakGrassberger2003">Kraskov et al. 2003</a>). No information is lost by such an operation; however, if one is exploring the data for inter-variable relationships, it would generally <i>not</i> be desirable to merge redundant variables in this way, since in such a context it is likely to be precisely the redundancy or <i>dependency</i> between variables that is of interest; and once redundant variables are merged, their relationship to one another can no longer be studied.
</p>
<div class="mw-heading mw-heading3"><h3 id="System_granulation_(aggregation)">System granulation (aggregation)</h3></div>
<p>In <a href="Database_systems" class="mw-redirect" title="Database systems">database systems</a>, aggregations (see e.g. <a href="OLAP" class="mw-redirect" title="OLAP">OLAP aggregation</a> and <a href="Business_intelligence" title="Business intelligence">Business intelligence</a> systems) result in transforming original data tables (often called information systems) into the tables with different semantics of rows and columns, wherein the rows correspond to the groups (granules) of original tuples and the columns express aggregated information about original values within each of the groups. Such aggregations are usually based on SQL and its extensions. The resulting granules usually correspond to the groups of original tuples with the same values (or ranges) over some pre-selected original columns.
</p><p>There are also other approaches wherein the groups are defined basing on, e.g., physical adjacency of rows. For example, <a href="Infobright" title="Infobright">Infobright</a> implemented a database engine wherein data was partitioned onto <i>rough rows</i>, each consisting of 64K of physically consecutive (or almost consecutive) rows. Rough rows were automatically labeled with compact information about their values on data columns, often involving multi-column and multi-table relationships. It resulted in a higher layer of granulated information where objects corresponded to rough rows and attributes - to various aspects of rough information. Database operations could be efficiently supported within such a new framework, with an access to the original data pieces still available (<a href="#CITEREFSlezakSynakWojnaWroblewski2013">Slezak et al. 2013</a>).
</p>
<div class="mw-heading mw-heading3"><h3 id="Concept_granulation_(component_analysis)">Concept granulation (component analysis)</h3></div>
<p>The origins of the <i>granular computing</i> ideology are to be found in the <a href="Rough_sets" class="mw-redirect" title="Rough sets">rough sets</a> and <a href="Fuzzy_sets" class="mw-redirect" title="Fuzzy sets">fuzzy sets</a> literatures. One of the key insights of rough set research—although by no means unique to it—is that, in general, the selection of different sets of features or variables will yield different <i>concept</i> granulations. Here, as in elementary rough set theory, by "concept" we mean a set of entities that are <i>indistinguishable</i> or <i>indiscernible</i> to the observer (i.e., a simple concept), or a set of entities that is composed from such simple concepts (i.e., a complex concept). To put it in other words, by projecting a data set (<a href="Value-attribute_system" class="mw-redirect" title="Value-attribute system">value-attribute system</a>) onto different sets of variables, we recognize alternative sets of equivalence-class "concepts" in the data, and these different sets of concepts will in general be conducive to the extraction of different relationships and regularities.
</p>
<div class="mw-heading mw-heading4"><h4 id="Equivalence_class_granulation">Equivalence class granulation</h4></div>
<p>We illustrate with an example. Consider the attribute-value system below:
</p>
<dl><dd><table class="wikitable" style="text-align:center; width:30%" border="1">
<caption>Sample Information System
</caption>
<tbody><tr>
<th>Object</th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{1}}</annotation>
</semantics>
</math></span><img src="./398f438d75434e6fbf48dc232c1ad7228a738568.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{1}}" loading="lazy"></span></th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{2}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{2}}</annotation>
</semantics>
</math></span><img src="./87858df7457aa93caaef5a316db87a7240cc8c29.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{2}}" loading="lazy"></span></th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{3}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{3}}</annotation>
</semantics>
</math></span><img src="./f92db8e65bb75b79799f0f3a29e975b37e227069.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{3}}" loading="lazy"></span></th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{4}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{4}}</annotation>
</semantics>
</math></span><img src="./48763cb9875de7b4125c40e95e542e775c1cbc4e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{4}}" loading="lazy"></span></th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{5}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{5}}</annotation>
</semantics>
</math></span><img src="./9446d54bf4a29799ff14169ffc7ba4423102fd08.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{5}}" loading="lazy"></span>
</th></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{1}}</annotation>
</semantics>
</math></span><img src="./92ef134d3a8ed900181455e6b569683132371e22.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{1}}" loading="lazy"></span>
</th>
<td>1</td>
<td>2</td>
<td>0</td>
<td>1</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{2}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{2}}</annotation>
</semantics>
</math></span><img src="./fa32f5095ddebd2d52739d978bf85f274f900c1b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{2}}" loading="lazy"></span>
</th>
<td>1</td>
<td>2</td>
<td>0</td>
<td>1</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{3}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{3}}</annotation>
</semantics>
</math></span><img src="./224804b26ffc73e496a43debc9015fc42db37876.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{3}}" loading="lazy"></span>
</th>
<td>2</td>
<td>0</td>
<td>0</td>
<td>1</td>
<td>0
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{4}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{4}}</annotation>
</semantics>
</math></span><img src="./ea5c6d29abe52e2bee85d14e5cff906b80f6a885.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{4}}" loading="lazy"></span>
</th>
<td>0</td>
<td>0</td>
<td>1</td>
<td>2</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{5}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{5}}</annotation>
</semantics>
</math></span><img src="./ef2313d78f5b4423b9f00c809486e238d96eb943.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{5}}" loading="lazy"></span>
</th>
<td>2</td>
<td>1</td>
<td>0</td>
<td>2</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{6}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{6}}</annotation>
</semantics>
</math></span><img src="./7afccb28ba07863033e9a3fbd99fba4a0455f3c5.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{6}}" loading="lazy"></span>
</th>
<td>0</td>
<td>0</td>
<td>1</td>
<td>2</td>
<td>2
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{7}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{7}}</annotation>
</semantics>
</math></span><img src="./a51d680a0fa5a53888840d3d3782f0198150a5df.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{7}}" loading="lazy"></span>
</th>
<td>2</td>
<td>0</td>
<td>0</td>
<td>1</td>
<td>0
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{8}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{8}}</annotation>
</semantics>
</math></span><img src="./449a91d122d110a52deccf0da4309fea311433a7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{8}}" loading="lazy"></span>
</th>
<td>0</td>
<td>1</td>
<td>2</td>
<td>2</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{9}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{9}}</annotation>
</semantics>
</math></span><img src="./956785d7604633901fb9384647ec154accefaffd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{9}}" loading="lazy"></span>
</th>
<td>2</td>
<td>1</td>
<td>0</td>
<td>2</td>
<td>2
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{10}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{10}}</annotation>
</semantics>
</math></span><img src="./641b8924fd702d194ddbf0a4f58579d3d4a4c3a8.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.65ex; height:2.509ex;" alt="{\displaystyle O_{10}}" loading="lazy"></span>
</th>
<td>2</td>
<td>0</td>
<td>0</td>
<td>1</td>
<td>0
</td></tr></tbody></table></dd></dl>
<p>When the full set of attributes <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P=\{P_{1},P_{2},P_{3},P_{4},P_{5}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>P</mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P=\{P_{1},P_{2},P_{3},P_{4},P_{5}\}}</annotation>
</semantics>
</math></span><img src="./d64ffc3851f42b81501375f04d3f5cc1398a1bfd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:24.037ex; height:2.843ex;" alt="{\displaystyle P=\{P_{1},P_{2},P_{3},P_{4},P_{5}\}}" loading="lazy"></span> is considered, we see that we have the following seven equivalence classes or primitive (simple) concepts:
</p>
<dl><dd><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4}\}\\\{O_{5}\}\\\{O_{6}\}\\\{O_{8}\}\\\{O_{9}\}\end{cases}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<mrow>
<mo>{</mo>
<mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false">
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
</mtable>
<mo fence="true" stretchy="true" symmetric="true"></mo>
</mrow>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4}\}\\\{O_{5}\}\\\{O_{6}\}\\\{O_{8}\}\\\{O_{9}\}\end{cases}}}</annotation>
</semantics>
</math></span><img src="./a162f977b5a6e2cd678bbe5636a1fb2fb097e41a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -9.671ex; width:16.515ex; height:20.509ex;" alt="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4}\}\\\{O_{5}\}\\\{O_{6}\}\\\{O_{8}\}\\\{O_{9}\}\end{cases}}}" loading="lazy"></span></dd></dl>
<p>Thus, the two objects within the first equivalence class, <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{O_{1},O_{2}\},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{O_{1},O_{2}\},}</annotation>
</semantics>
</math></span><img src="./6adc31f23a82e93cf34c95f82b86581e835162ed.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:9.661ex; height:2.843ex;" alt="{\displaystyle \{O_{1},O_{2}\},}" loading="lazy"></span> cannot be distinguished from one another based on the available attributes, and the three objects within the second equivalence class, <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{O_{3},O_{7},O_{10}\},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{O_{3},O_{7},O_{10}\},}</annotation>
</semantics>
</math></span><img src="./cf464bba9e91f7cf3bd3a5b187e87af52abca0df.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.344ex; height:2.843ex;" alt="{\displaystyle \{O_{3},O_{7},O_{10}\},}" loading="lazy"></span> cannot be distinguished from one another based on the available attributes. The remaining five objects are each discernible from all other objects. Now, let us imagine a projection of the attribute value system onto attribute <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{1}}</annotation>
</semantics>
</math></span><img src="./398f438d75434e6fbf48dc232c1ad7228a738568.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{1}}" loading="lazy"></span> alone, which would represent, for example, the view from an observer which is only capable of detecting this single attribute. Then we obtain the following much coarser equivalence class structure.
</p>
<dl><dd><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{5},O_{7},O_{9},O_{10}\}\\\{O_{4},O_{6},O_{8}\}\end{cases}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<mrow>
<mo>{</mo>
<mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false">
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
</mtable>
<mo fence="true" stretchy="true" symmetric="true"></mo>
</mrow>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{5},O_{7},O_{9},O_{10}\}\\\{O_{4},O_{6},O_{8}\}\end{cases}}}</annotation>
</semantics>
</math></span><img src="./9152e7cc845a4d2c5c708d53284bf3a684c4a40b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.838ex; width:24.238ex; height:8.843ex;" alt="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{5},O_{7},O_{9},O_{10}\}\\\{O_{4},O_{6},O_{8}\}\end{cases}}}" loading="lazy"></span></dd></dl>
<p>This is in a certain regard the same structure as before, but at a lower degree of resolution (larger grain size). Just as in the case of <a href="#Value_granulation_(discretization/quantization)">value granulation (discretization/quantization)</a>, it is possible that relationships (dependencies) may emerge at one level of granularity that are not present at another. As an example of this, we can consider the effect of concept granulation on the measure known as <i>attribute dependency</i> (a simpler relative of the <a href="Mutual_information" title="Mutual information">mutual information</a>).
</p><p>To establish this notion of dependency (see also <a href="Rough_sets" class="mw-redirect" title="Rough sets">rough sets</a>), let <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}=\{Q_{1},Q_{2},Q_{3},\dots ,Q_{N}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<mo>…<!-- … --></mo>
<mo>,</mo>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>N</mi>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}=\{Q_{1},Q_{2},Q_{3},\dots ,Q_{N}\}}</annotation>
</semantics>
</math></span><img src="./0e19eec12492f20183cb16c787d108dea4832947.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:29.032ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}=\{Q_{1},Q_{2},Q_{3},\dots ,Q_{N}\}}" loading="lazy"></span> represent a particular concept granulation, where each <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Q_{i}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Q_{i}}</annotation>
</semantics>
</math></span><img src="./b9f7193081d440425e522698e80817b5d558df03.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.638ex; height:2.509ex;" alt="{\displaystyle Q_{i}}" loading="lazy"></span> is an equivalence class from the concept structure induced by attribute set <span class="texhtml mvar" style="font-style:italic;">Q</span>. For example, if the attribute set <span class="texhtml mvar" style="font-style:italic;">Q</span> consists of attribute <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{1}}</annotation>
</semantics>
</math></span><img src="./398f438d75434e6fbf48dc232c1ad7228a738568.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{1}}" loading="lazy"></span> alone, as above, then the concept structure <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> will be composed of
</p>
<dl><dd><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{aligned}Q_{1}&amp;=\{O_{1},O_{2}\},\\Q_{2}&amp;=\{O_{3},O_{5},O_{7},O_{9},O_{10}\},\\Q_{3}&amp;=\{O_{4},O_{6},O_{8}\}.\end{aligned}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true">
<mtr>
<mtd>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mtd>
<mtd>
<mi></mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>,</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
</mtd>
<mtd>
<mi></mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>,</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
</mtd>
<mtd>
<mi></mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>.</mo>
</mtd>
</mtr>
</mtable>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\begin{aligned}Q_{1}&amp;=\{O_{1},O_{2}\},\\Q_{2}&amp;=\{O_{3},O_{5},O_{7},O_{9},O_{10}\},\\Q_{3}&amp;=\{O_{4},O_{6},O_{8}\}.\end{aligned}}}</annotation>
</semantics>
</math></span><img src="./00b3c171aab742634d51613b6416d4b27b41e7fa.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -4.005ex; width:28.81ex; height:9.176ex;" alt="{\displaystyle {\begin{aligned}Q_{1}&amp;=\{O_{1},O_{2}\},\\Q_{2}&amp;=\{O_{3},O_{5},O_{7},O_{9},O_{10}\},\\Q_{3}&amp;=\{O_{4},O_{6},O_{8}\}.\end{aligned}}}" loading="lazy"></span></dd></dl>
<p>The <b>dependency</b> of attribute set <span class="texhtml mvar" style="font-style:italic;">Q</span> on another attribute set <span class="texhtml mvar" style="font-style:italic;">P</span>, <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma _{P}(Q),}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>γ<!-- γ --></mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
<mo stretchy="false">(</mo>
<mi>Q</mi>
<mo stretchy="false">)</mo>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \gamma _{P}(Q),}</annotation>
</semantics>
</math></span><img src="./3ed7a1e7fe4bbd4af638c9d97beda04822356010.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.965ex; height:2.843ex;" alt="{\displaystyle \gamma _{P}(Q),}" loading="lazy"></span> is given by
</p>
<dl><dd><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma _{P}(Q)={\frac {\left|\sum _{i=1}^{N}{\underline {P}}Q_{i}\right|}{\left|\mathbb {U} \right|}}\leq 1}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>γ<!-- γ --></mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
<mo stretchy="false">(</mo>
<mi>Q</mi>
<mo stretchy="false">)</mo>
<mo>=</mo>
<mrow class="MJX-TeXAtom-ORD">
<mfrac>
<mrow>
<mo>|</mo>
<mrow>
<munderover>
<mo>∑<!-- ∑ --></mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
<mo>=</mo>
<mn>1</mn>
</mrow>
<mrow class="MJX-TeXAtom-ORD">
<mi>N</mi>
</mrow>
</munderover>
<mrow class="MJX-TeXAtom-ORD">
<munder>
<mi>P</mi>
<mo>_<!-- _ --></mo>
</munder>
</mrow>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
</mrow>
<mo>|</mo>
</mrow>
<mrow>
<mo>|</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi mathvariant="double-struck">U</mi>
</mrow>
<mo>|</mo>
</mrow>
</mfrac>
</mrow>
<mo>≤<!-- ≤ --></mo>
<mn>1</mn>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \gamma _{P}(Q)={\frac {\left|\sum _{i=1}^{N}{\underline {P}}Q_{i}\right|}{\left|\mathbb {U} \right|}}\leq 1}</annotation>
</semantics>
</math></span><img src="./81d01c21274cc231d51b567b705de84b3e2c690a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.671ex; width:25.933ex; height:7.509ex;" alt="{\displaystyle \gamma _{P}(Q)={\frac {\left|\sum _{i=1}^{N}{\underline {P}}Q_{i}\right|}{\left|\mathbb {U} \right|}}\leq 1}" loading="lazy"></span></dd></dl>
<p>That is, for each equivalence class <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Q_{i}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Q_{i}}</annotation>
</semantics>
</math></span><img src="./b9f7193081d440425e522698e80817b5d558df03.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.638ex; height:2.509ex;" alt="{\displaystyle Q_{i}}" loading="lazy"></span> in <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q},}</annotation>
</semantics>
</math></span><img src="./149ce4aff96b452e9ea53866fe6f4e1aab732847.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.802ex; height:3.009ex;" alt="{\displaystyle [x]_{Q},}" loading="lazy"></span> we add up the size of its "lower approximation" (see <a href="Rough_sets" class="mw-redirect" title="Rough sets">rough sets</a>) by the attributes in <span class="texhtml mvar" style="font-style:italic;">P</span>, i.e., <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\underline {P}}Q_{i}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<munder>
<mi>P</mi>
<mo>_<!-- _ --></mo>
</munder>
</mrow>
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\underline {P}}Q_{i}.}</annotation>
</semantics>
</math></span><img src="./b4b652e4a64016014b95adba42d6d715b3cc35e0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.511ex; margin-left: -0.165ex; margin-bottom: -0.827ex; width:5.196ex; height:3.176ex;" alt="{\displaystyle {\underline {P}}Q_{i}.}" loading="lazy"></span> More simply, this approximation is the number of objects which on attribute set <span class="texhtml mvar" style="font-style:italic;">P</span> can be positively identified as belonging to target set <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Q_{i}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>Q</mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>i</mi>
</mrow>
</msub>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Q_{i}.}</annotation>
</semantics>
</math></span><img src="./120a263ce95ecd7e0616775b010579bf2421b6ff.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.285ex; height:2.509ex;" alt="{\displaystyle Q_{i}.}" loading="lazy"></span> Added across all equivalence classes in <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q},}</annotation>
</semantics>
</math></span><img src="./149ce4aff96b452e9ea53866fe6f4e1aab732847.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.802ex; height:3.009ex;" alt="{\displaystyle [x]_{Q},}" loading="lazy"></span> the numerator above represents the total number of objects which—based on attribute set <span class="texhtml mvar" style="font-style:italic;">P</span>—can be positively categorized according to the classification induced by attributes <span class="texhtml mvar" style="font-style:italic;">Q</span>. The dependency ratio therefore expresses the proportion (within the entire universe) of such classifiable objects, in a sense capturing the "synchronization" of the two concept structures <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> and <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}.}</annotation>
</semantics>
</math></span><img src="./ee7b9ee7603d1e8c6d6d3196e16695f8df490c23.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.737ex; height:2.843ex;" alt="{\displaystyle [x]_{P}.}" loading="lazy"></span> The dependency <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma _{P}(Q)}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>γ<!-- γ --></mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
<mo stretchy="false">(</mo>
<mi>Q</mi>
<mo stretchy="false">)</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \gamma _{P}(Q)}</annotation>
</semantics>
</math></span><img src="./e8e102ac774612fb4fad3414f094a7017f77d8ca.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.318ex; height:2.843ex;" alt="{\displaystyle \gamma _{P}(Q)}" loading="lazy"></span> "can be interpreted as a proportion of such objects in the information system for which it suffices to know the values of attributes in <span class="texhtml mvar" style="font-style:italic;">P</span> to determine the values of attributes in <span class="texhtml mvar" style="font-style:italic;">Q</span>" (Ziarko &amp; Shan 1995).
</p><p>Having gotten definitions now out of the way, we can make the simple observation that the choice of concept granularity (i.e., choice of attributes) will influence the detected dependencies among attributes. Consider again the attribute value table from above:
</p>
<dl><dd><table class="wikitable" style="text-align:center; width:30%" border="1">
<caption>Sample Information System
</caption>
<tbody><tr>
<th>Object</th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{1}}</annotation>
</semantics>
</math></span><img src="./398f438d75434e6fbf48dc232c1ad7228a738568.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{1}}" loading="lazy"></span></th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{2}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{2}}</annotation>
</semantics>
</math></span><img src="./87858df7457aa93caaef5a316db87a7240cc8c29.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{2}}" loading="lazy"></span></th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{3}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{3}}</annotation>
</semantics>
</math></span><img src="./f92db8e65bb75b79799f0f3a29e975b37e227069.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{3}}" loading="lazy"></span></th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{4}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{4}}</annotation>
</semantics>
</math></span><img src="./48763cb9875de7b4125c40e95e542e775c1cbc4e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{4}}" loading="lazy"></span></th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{5}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P_{5}}</annotation>
</semantics>
</math></span><img src="./9446d54bf4a29799ff14169ffc7ba4423102fd08.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{5}}" loading="lazy"></span>
</th></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{1}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{1}}</annotation>
</semantics>
</math></span><img src="./92ef134d3a8ed900181455e6b569683132371e22.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{1}}" loading="lazy"></span>
</th>
<td>1</td>
<td>2</td>
<td>0</td>
<td>1</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{2}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{2}}</annotation>
</semantics>
</math></span><img src="./fa32f5095ddebd2d52739d978bf85f274f900c1b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{2}}" loading="lazy"></span>
</th>
<td>1</td>
<td>2</td>
<td>0</td>
<td>1</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{3}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{3}}</annotation>
</semantics>
</math></span><img src="./224804b26ffc73e496a43debc9015fc42db37876.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{3}}" loading="lazy"></span>
</th>
<td>2</td>
<td>0</td>
<td>0</td>
<td>1</td>
<td>0
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{4}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{4}}</annotation>
</semantics>
</math></span><img src="./ea5c6d29abe52e2bee85d14e5cff906b80f6a885.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{4}}" loading="lazy"></span>
</th>
<td>0</td>
<td>0</td>
<td>1</td>
<td>2</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{5}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{5}}</annotation>
</semantics>
</math></span><img src="./ef2313d78f5b4423b9f00c809486e238d96eb943.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{5}}" loading="lazy"></span>
</th>
<td>2</td>
<td>1</td>
<td>0</td>
<td>2</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{6}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{6}}</annotation>
</semantics>
</math></span><img src="./7afccb28ba07863033e9a3fbd99fba4a0455f3c5.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{6}}" loading="lazy"></span>
</th>
<td>0</td>
<td>0</td>
<td>1</td>
<td>2</td>
<td>2
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{7}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{7}}</annotation>
</semantics>
</math></span><img src="./a51d680a0fa5a53888840d3d3782f0198150a5df.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{7}}" loading="lazy"></span>
</th>
<td>2</td>
<td>0</td>
<td>0</td>
<td>1</td>
<td>0
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{8}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{8}}</annotation>
</semantics>
</math></span><img src="./449a91d122d110a52deccf0da4309fea311433a7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{8}}" loading="lazy"></span>
</th>
<td>0</td>
<td>1</td>
<td>2</td>
<td>2</td>
<td>1
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{9}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{9}}</annotation>
</semantics>
</math></span><img src="./956785d7604633901fb9384647ec154accefaffd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.828ex; height:2.509ex;" alt="{\displaystyle O_{9}}" loading="lazy"></span>
</th>
<td>2</td>
<td>1</td>
<td>0</td>
<td>2</td>
<td>2
</td></tr>
<tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle O_{10}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle O_{10}}</annotation>
</semantics>
</math></span><img src="./641b8924fd702d194ddbf0a4f58579d3d4a4c3a8.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:3.65ex; height:2.509ex;" alt="{\displaystyle O_{10}}" loading="lazy"></span>
</th>
<td>2</td>
<td>0</td>
<td>0</td>
<td>1</td>
<td>0
</td></tr></tbody></table></dd></dl>
<p>Consider the dependency of attribute set <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Q=\{P_{4},P_{5}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>Q</mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Q=\{P_{4},P_{5}\}}</annotation>
</semantics>
</math></span><img src="./d6ee8a14b58210942289ca1d3acccf97b04fd38f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.389ex; height:2.843ex;" alt="{\displaystyle Q=\{P_{4},P_{5}\}}" loading="lazy"></span> on attribute set <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P=\{P_{2},P_{3}\}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>P</mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P=\{P_{2},P_{3}\}.}</annotation>
</semantics>
</math></span><img src="./cc963462337a78a8a12bf8efe7cba5156bbe6313.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.943ex; height:2.843ex;" alt="{\displaystyle P=\{P_{2},P_{3}\}.}" loading="lazy"></span> That is, we wish to know what proportion of objects can be correctly classified into classes of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> based on knowledge of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}.}</annotation>
</semantics>
</math></span><img src="./ee7b9ee7603d1e8c6d6d3196e16695f8df490c23.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.737ex; height:2.843ex;" alt="{\displaystyle [x]_{P}.}" loading="lazy"></span> The equivalence classes of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> and of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}}</annotation>
</semantics>
</math></span><img src="./643078ef0c81ff3460fd4f91aa5dd7163e401bd3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.09ex; height:2.843ex;" alt="{\displaystyle [x]_{P}}" loading="lazy"></span> are shown below.
</p>
<dl><dd><table class="wikitable">

<tbody><tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span>
</th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}}</annotation>
</semantics>
</math></span><img src="./643078ef0c81ff3460fd4f91aa5dd7163e401bd3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.09ex; height:2.843ex;" alt="{\displaystyle [x]_{P}}" loading="lazy"></span>
</th></tr>
<tr>
<td><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{5},O_{8}\}\\\{O_{6},O_{9}\}\end{cases}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<mrow>
<mo>{</mo>
<mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false">
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
</mtable>
<mo fence="true" stretchy="true" symmetric="true"></mo>
</mrow>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{5},O_{8}\}\\\{O_{6},O_{9}\}\end{cases}}}</annotation>
</semantics>
</math></span><img src="./92e3ce1f252fe3529cee1c5704441bc3c7ea74d7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -5.171ex; width:16.515ex; height:11.509ex;" alt="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{5},O_{8}\}\\\{O_{6},O_{9}\}\end{cases}}}" loading="lazy"></span>
</td>
<td><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{6}\}\\\{O_{5},O_{9}\}\\\{O_{8}\}\end{cases}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<mrow>
<mo>{</mo>
<mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false">
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
</mtable>
<mo fence="true" stretchy="true" symmetric="true"></mo>
</mrow>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{6}\}\\\{O_{5},O_{9}\}\\\{O_{8}\}\end{cases}}}</annotation>
</semantics>
</math></span><img src="./dd14b0a10597a927cb90680c5a097b6bb258c84d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -6.671ex; width:16.515ex; height:14.509ex;" alt="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{6}\}\\\{O_{5},O_{9}\}\\\{O_{8}\}\end{cases}}}" loading="lazy"></span>
</td></tr></tbody></table></dd></dl>
<p>The objects that can be <i>definitively</i> categorized according to concept structure <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> based on <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}}</annotation>
</semantics>
</math></span><img src="./643078ef0c81ff3460fd4f91aa5dd7163e401bd3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.09ex; height:2.843ex;" alt="{\displaystyle [x]_{P}}" loading="lazy"></span> are those in the set <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{O_{1},O_{2},O_{3},O_{7},O_{8},O_{10}\},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{O_{1},O_{2},O_{3},O_{7},O_{8},O_{10}\},}</annotation>
</semantics>
</math></span><img src="./80993dbcfd7ca4758744e3851d69eb6ef396a0f8.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:25.929ex; height:2.843ex;" alt="{\displaystyle \{O_{1},O_{2},O_{3},O_{7},O_{8},O_{10}\},}" loading="lazy"></span> and since there are six of these, the dependency of <span class="texhtml mvar" style="font-style:italic;">Q</span> on <span class="texhtml mvar" style="font-style:italic;">P</span>, <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma _{P}(Q)=6/10.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>γ<!-- γ --></mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
<mo stretchy="false">(</mo>
<mi>Q</mi>
<mo stretchy="false">)</mo>
<mo>=</mo>
<mn>6</mn>
<mrow class="MJX-TeXAtom-ORD">
<mo>/</mo>
</mrow>
<mn>10.</mn>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \gamma _{P}(Q)=6/10.}</annotation>
</semantics>
</math></span><img src="./4e9ecf20281fcd1fb2ea2f7e49f0b046035fdd02.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.713ex; height:2.843ex;" alt="{\displaystyle \gamma _{P}(Q)=6/10.}" loading="lazy"></span> This might be considered an interesting dependency in its own right, but perhaps in a particular data mining application only stronger dependencies are desired.
</p><p>We might then consider the dependency of the smaller attribute set <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Q=\{P_{4}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>Q</mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Q=\{P_{4}\}}</annotation>
</semantics>
</math></span><img src="./b0e8368be037303759ce5b8232c3f10c41581af4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:9.808ex; height:2.843ex;" alt="{\displaystyle Q=\{P_{4}\}}" loading="lazy"></span> on the attribute set <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P=\{P_{2},P_{3}\}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>P</mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P=\{P_{2},P_{3}\}.}</annotation>
</semantics>
</math></span><img src="./cc963462337a78a8a12bf8efe7cba5156bbe6313.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.943ex; height:2.843ex;" alt="{\displaystyle P=\{P_{2},P_{3}\}.}" loading="lazy"></span> The move from <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Q=\{P_{4},P_{5}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>Q</mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Q=\{P_{4},P_{5}\}}</annotation>
</semantics>
</math></span><img src="./d6ee8a14b58210942289ca1d3acccf97b04fd38f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.389ex; height:2.843ex;" alt="{\displaystyle Q=\{P_{4},P_{5}\}}" loading="lazy"></span> to <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Q=\{P_{4}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>Q</mi>
<mo>=</mo>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>P</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle Q=\{P_{4}\}}</annotation>
</semantics>
</math></span><img src="./b0e8368be037303759ce5b8232c3f10c41581af4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:9.808ex; height:2.843ex;" alt="{\displaystyle Q=\{P_{4}\}}" loading="lazy"></span> induces a coarsening of the class structure <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q},}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
<mo>,</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q},}</annotation>
</semantics>
</math></span><img src="./149ce4aff96b452e9ea53866fe6f4e1aab732847.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.802ex; height:3.009ex;" alt="{\displaystyle [x]_{Q},}" loading="lazy"></span> as will be seen shortly. We wish again to know what proportion of objects can be correctly classified into the (now larger) classes of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> based on knowledge of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}.}</annotation>
</semantics>
</math></span><img src="./ee7b9ee7603d1e8c6d6d3196e16695f8df490c23.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.737ex; height:2.843ex;" alt="{\displaystyle [x]_{P}.}" loading="lazy"></span> The equivalence classes of the new <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> and of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}}</annotation>
</semantics>
</math></span><img src="./643078ef0c81ff3460fd4f91aa5dd7163e401bd3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.09ex; height:2.843ex;" alt="{\displaystyle [x]_{P}}" loading="lazy"></span> are shown below.
</p>
<dl><dd><table class="wikitable">

<tbody><tr>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span>
</th>
<th><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}}</annotation>
</semantics>
</math></span><img src="./643078ef0c81ff3460fd4f91aa5dd7163e401bd3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.09ex; height:2.843ex;" alt="{\displaystyle [x]_{P}}" loading="lazy"></span>
</th></tr>
<tr>
<td><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{cases}\{O_{1},O_{2},O_{3},O_{7},O_{10}\}\\\{O_{4},O_{5},O_{6},O_{8},O_{9}\}\end{cases}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<mrow>
<mo>{</mo>
<mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false">
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
</mtable>
<mo fence="true" stretchy="true" symmetric="true"></mo>
</mrow>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\begin{cases}\{O_{1},O_{2},O_{3},O_{7},O_{10}\}\\\{O_{4},O_{5},O_{6},O_{8},O_{9}\}\end{cases}}}</annotation>
</semantics>
</math></span><img src="./131f956c7dcc191d445ac7a1d435e465dfe34380.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:23.915ex; height:6.176ex;" alt="{\displaystyle {\begin{cases}\{O_{1},O_{2},O_{3},O_{7},O_{10}\}\\\{O_{4},O_{5},O_{6},O_{8},O_{9}\}\end{cases}}}" loading="lazy"></span>
</td>
<td><span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{6}\}\\\{O_{5},O_{9}\}\\\{O_{8}\}\end{cases}}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mrow class="MJX-TeXAtom-ORD">
<mrow>
<mo>{</mo>
<mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false">
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>3</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>7</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>4</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>6</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>5</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>9</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
<mtr>
<mtd>
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>8</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mtd>
</mtr>
</mtable>
<mo fence="true" stretchy="true" symmetric="true"></mo>
</mrow>
</mrow>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{6}\}\\\{O_{5},O_{9}\}\\\{O_{8}\}\end{cases}}}</annotation>
</semantics>
</math></span><img src="./dd14b0a10597a927cb90680c5a097b6bb258c84d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -6.671ex; width:16.515ex; height:14.509ex;" alt="{\displaystyle {\begin{cases}\{O_{1},O_{2}\}\\\{O_{3},O_{7},O_{10}\}\\\{O_{4},O_{6}\}\\\{O_{5},O_{9}\}\\\{O_{8}\}\end{cases}}}" loading="lazy"></span>
</td></tr></tbody></table></dd></dl>
<p>Clearly, <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> has a coarser granularity than it did earlier. The objects that can now be <i>definitively</i> categorized according to the concept structure <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> based on <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}}</annotation>
</semantics>
</math></span><img src="./643078ef0c81ff3460fd4f91aa5dd7163e401bd3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.09ex; height:2.843ex;" alt="{\displaystyle [x]_{P}}" loading="lazy"></span> constitute the complete universe <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \{O_{1},O_{2},\ldots ,O_{10}\}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo fence="false" stretchy="false">{</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>1</mn>
</mrow>
</msub>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>2</mn>
</mrow>
</msub>
<mo>,</mo>
<mo>…<!-- … --></mo>
<mo>,</mo>
<msub>
<mi>O</mi>
<mrow class="MJX-TeXAtom-ORD">
<mn>10</mn>
</mrow>
</msub>
<mo fence="false" stretchy="false">}</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \{O_{1},O_{2},\ldots ,O_{10}\}}</annotation>
</semantics>
</math></span><img src="./188a02ef75002f193f7f9d7c9bfc6dbb95417eaf.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:17.842ex; height:2.843ex;" alt="{\displaystyle \{O_{1},O_{2},\ldots ,O_{10}\}}" loading="lazy"></span>, and thus the dependency of <span class="texhtml mvar" style="font-style:italic;">Q</span> on <span class="texhtml mvar" style="font-style:italic;">P</span>, <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \gamma _{P}(Q)=1.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<msub>
<mi>γ<!-- γ --></mi>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
<mo stretchy="false">(</mo>
<mi>Q</mi>
<mo stretchy="false">)</mo>
<mo>=</mo>
<mn>1.</mn>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle \gamma _{P}(Q)=1.}</annotation>
</semantics>
</math></span><img src="./5ae739d77285d0989ac161ef65c843a3f20acda6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:11.226ex; height:2.843ex;" alt="{\displaystyle \gamma _{P}(Q)=1.}" loading="lazy"></span> That is, knowledge of membership according to category set <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{P}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>P</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{P}}</annotation>
</semantics>
</math></span><img src="./643078ef0c81ff3460fd4f91aa5dd7163e401bd3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:4.09ex; height:2.843ex;" alt="{\displaystyle [x]_{P}}" loading="lazy"></span> is adequate to determine category membership in <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> with complete certainty; In this case we might say that <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P\rightarrow Q.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mi>P</mi>
<mo stretchy="false">→<!-- → --></mo>
<mi>Q</mi>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle P\rightarrow Q.}</annotation>
</semantics>
</math></span><img src="./aa7c8cf211b4c79cba13d1e762d35234398dbcc0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:7.845ex; height:2.509ex;" alt="{\displaystyle P\rightarrow Q.}" loading="lazy"></span> Thus, by coarsening the concept structure, we were able to find a stronger (deterministic) dependency. However, we also note that the classes induced in <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}}</annotation>
</semantics>
</math></span><img src="./f9bf03a25dd6b9c94c846d76d4673e6fea036d0f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.156ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}}" loading="lazy"></span> from the reduction in resolution necessary to obtain this deterministic dependency are now themselves large and few in number; as a result, the dependency we found, while strong, may be less valuable to us than the weaker dependency found earlier under the higher resolution view of <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle [x]_{Q}.}">
<semantics>
<mrow class="MJX-TeXAtom-ORD">
<mstyle displaystyle="true" scriptlevel="0">
<mo stretchy="false">[</mo>
<mi>x</mi>
<msub>
<mo stretchy="false">]</mo>
<mrow class="MJX-TeXAtom-ORD">
<mi>Q</mi>
</mrow>
</msub>
<mo>.</mo>
</mstyle>
</mrow>
<annotation encoding="application/x-tex">{\displaystyle [x]_{Q}.}</annotation>
</semantics>
</math></span><img src="./a45d9660228bcf067a8ef4438ea0440841015617.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:4.802ex; height:3.009ex;" alt="{\displaystyle [x]_{Q}.}" loading="lazy"></span>
</p><p>In general it is not possible to test all sets of attributes to see which induced concept structures yield the strongest dependencies, and this search must be therefore be guided with some intelligence. Papers which discuss this issue, and others relating to intelligent use of granulation, are those by Y.Y. Yao and <a href="Lotfi_Zadeh" class="mw-redirect" title="Lotfi Zadeh">Lotfi Zadeh</a> listed in the <a href="#References">#References</a> below.
</p>
<div class="mw-heading mw-heading4"><h4 id="Component_granulation">Component granulation</h4></div>
<p>Another perspective on concept granulation may be obtained from work on parametric models of categories. In <a href="Mixture_model" title="Mixture model">mixture model</a> learning, for example, a set of data is explained as a mixture of distinct <a href="Gaussian_distribution" class="mw-redirect" title="Gaussian distribution">Gaussian</a> (or other) distributions. Thus, a large amount of data is "replaced" by a small number of distributions. The choice of the number of these distributions, and their size, can again be viewed as a problem of <i>concept granulation</i>. In general, a better fit to the data is obtained by a larger number of distributions or parameters, but in order to extract meaningful patterns, it is necessary to constrain the number of distributions, thus deliberately <i>coarsening</i> the concept resolution. Finding the "right" concept resolution is a tricky problem for which many methods have been proposed (e.g., <a href="Akaike_information_criterion" title="Akaike information criterion">AIC</a>, <a href="Bayesian_information_criterion" title="Bayesian information criterion">BIC</a>, <a href="Minimum_description_length" title="Minimum description length">MDL</a>, etc.), and these are frequently considered under the rubric of "<a href="Model_regularization" class="mw-redirect" title="Model regularization">model regularization</a>".
</p>
<div class="mw-heading mw-heading2"><h2 id="Different_interpretations_of_granular_computing">Different interpretations of granular computing</h2></div>
<p>Granular computing can be conceived as a framework of theories, methodologies, techniques, and tools that make use of information granules in the process of problem solving. In this sense, granular computing is used as an umbrella term to cover topics that have been studied in various fields in isolation. By examining all of these existing studies in light of the unified framework of granular computing and extracting their commonalities, it may be possible to develop a general theory for problem solving.
</p><p>In a more philosophical sense, granular computing can describe a way of thinking that relies on the human ability to perceive the real world under various levels of granularity (i.e., abstraction) in order to abstract and consider only those things that serve a specific interest and to switch among different granularities. By focusing on different levels of granularity, one can obtain different levels of knowledge, as well as a greater understanding of the inherent knowledge structure. Granular computing is thus essential in human problem solving and hence has a very significant impact on the design and implementation of intelligent systems.
</p>
<div class="mw-heading mw-heading2"><h2 id="See_also">See also</h2></div>
<ul><li><a href="Rough_set" title="Rough set">Rough Sets</a>, <a href="Discretization" title="Discretization">Discretization</a></li>
<li><a href="Type-2_Fuzzy_Sets_and_Systems" class="mw-redirect" title="Type-2 Fuzzy Sets and Systems">Type-2 Fuzzy Sets and Systems</a></li></ul>
<div class="mw-heading mw-heading2"><h2 id="References">References</h2></div>
<style data-mw-deduplicate="TemplateStyles:r1239549316">
/* start https://en.wikipedia.org/ */


.mw-parser-output .refbegin{margin-bottom:0.5em}.mw-parser-output .refbegin-hanging-indents>ul{margin-left:0}.mw-parser-output .refbegin-hanging-indents>ul>li{margin-left:0;padding-left:3.2em;text-indent:-3.2em}.mw-parser-output .refbegin-hanging-indents ul,.mw-parser-output .refbegin-hanging-indents ul li{list-style:none}@media(max-width:720px){.mw-parser-output .refbegin-hanging-indents>ul>li{padding-left:1.6em;text-indent:-1.6em}}.mw-parser-output .refbegin-columns{margin-top:0.3em}.mw-parser-output .refbegin-columns ul{margin-top:0}.mw-parser-output .refbegin-columns li{page-break-inside:avoid;break-inside:avoid-column}@media screen{.mw-parser-output .refbegin{font-size:90%}}


/* end https://en.wikipedia.org/ */
</style><div class="refbegin refbegin-columns references-column-width" style="column-width: 30em">
<ul><li><style data-mw-deduplicate="TemplateStyles:r1238218222">
/* start https://en.wikipedia.org/ */


.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("./mw/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("./mw/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("./mw/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("./mw/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}


/* end https://en.wikipedia.org/ */
</style><cite id="CITEREFAnCercone1999" class="citation cs2">An, Aijun; Cercone, Nick (1999), "Discretization of continuous attributes for learning classification rules", in Ning Zhong; Lizhu Zhou (eds.), <i>Methodologies for Knowledge Discovery and Data Mining: Proceedings of the Third Pacific-Asia Conference, PAKDD-99</i>, Lecture Notes in Computer Science, vol.&nbsp;1574, <a href="Beijing%2C_China" class="mw-redirect" title="Beijing, China">Beijing, China</a>, pp.&nbsp;<span class="nowrap">509–</span>514, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F3-540-48912-6_69">10.1007/3-540-48912-6_69</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a>&nbsp;<bdi>978-3-540-65866-5</bdi></cite><span class="cs1-maint citation-comment"><code class="cs1-code">{{citation}}</code>: CS1 maint: location missing publisher (link)</span>.</li>
<li>Bargiela, A. and Pedrycz, W. (2003) <i>Granular Computing. An introduction</i>, Kluwer Academic Publishers</li>
<li><cite id="CITEREFBay2001" class="citation cs2">Bay, Stephen D. (2001), "Multivariate discretization for set mining", <i>Knowledge and Information Systems</i>, <b>3</b> (4): <span class="nowrap">491–</span>512, <a href="CiteSeerX_(identifier)" class="mw-redirect" title="CiteSeerX (identifier)">CiteSeerX</a>&nbsp;<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.921">10.1.1.217.921</a></span>, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2FPL00011680">10.1007/PL00011680</a>, <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a>&nbsp;<a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:10945544">10945544</a></cite>.</li>
<li><cite id="CITEREFCatlett1991" class="citation cs2">Catlett, J. (1991), <a rel="nofollow" class="external text" href="http://portal.acm.org/citation.cfm?coll=GUIDE&amp;dl=GUIDE&amp;id=112164">"On changing continuous attributes into ordered discrete attributes"</a>, in Y. Kodratoff (ed.), <i>Machine Learning—EWSL-91: European Working Session on Learning</i>, <a href="Porto%2C_Portugal" class="mw-redirect" title="Porto, Portugal">Porto, Portugal</a>, pp.&nbsp;<span class="nowrap">164–</span>178, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a>&nbsp;<bdi>9780387538167</bdi></cite><span class="cs1-maint citation-comment"><code class="cs1-code">{{citation}}</code>: CS1 maint: location missing publisher (link)</span>.</li>
<li><cite id="CITEREFChiuCheung1989" class="citation cs2">Chiu, David K. Y.; Cheung, Benny (1989), "Hierarchical maximum entropy discretization", in Ryszard Janicki; Waldemar W. Koczkodaj (eds.), <i>Computing and Information: Proceedings of the International Conference on Computing and Information (ICCI '89)</i>, <a href="Toronto" title="Toronto">Toronto, Ontario</a>, Canada: North-Holland, pp.&nbsp;<span class="nowrap">237–</span>242</cite>.</li>
<li><cite id="CITEREFChiuCheungWong1990" class="citation cs2">Chiu, David K. Y.; Cheung, Benny; Wong, Andrew K. C. (1990), "Information synthesis based on hierarchical maximum entropy discretization", <i><a href="Journal_of_Experimental_and_Theoretical_Artificial_Intelligence" title="Journal of Experimental and Theoretical Artificial Intelligence">Journal of Experimental and Theoretical Artificial Intelligence</a></i>, <b>2</b> (2): <span class="nowrap">117–</span>129, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1080%2F09528139008953718">10.1080/09528139008953718</a></cite>.</li>
<li><cite id="CITEREFChiuWongCheung1991" class="citation cs2">Chiu, David K. Y.; Wong, Andrew K. C.; Cheung, Benny (1991), "Information discovery through hierarchical maximum entropy discretization and synthesis", in Gregory Piatetsky-Shapiro; William J. Frawley (eds.), <i>Knowledge Discovery in Databases</i>, <a href="Cambridge%2C_MA" class="mw-redirect" title="Cambridge, MA">Cambridge, MA</a>: MIT Press, pp.&nbsp;<span class="nowrap">126–</span>140</cite>.</li>
<li><cite id="CITEREFChmielewskiGrzymala-Busse1996" class="citation cs2">Chmielewski, Michal R.; Grzymala-Busse, Jerzy W. (1996), <a rel="nofollow" class="external text" href="http://kuscholarworks.ku.edu/dspace/bitstream/1808/412/1/j36-draft.pdf">"Global discretization of continuous attributes as preprocessing for machine learning"</a> <span class="cs1-format">(PDF)</span>, <i>International Journal of Approximate Reasoning</i>, <b>15</b> (4): <span class="nowrap">319–</span>331, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2Fs0888-613x%2896%2900074-6">10.1016/s0888-613x(96)00074-6</a></cite>.</li>
<li><cite id="CITEREFDoughertyKohaviSahami1995" class="citation cs2">Dougherty, James; Kohavi, Ron; Sahami, Mehran (1995), <a rel="nofollow" class="external text" href="http://citeseer.ist.psu.edu/dougherty95supervised.html">"Supervised and unsupervised discretization of continuous features"</a>, in Armand Prieditis; Stuart Russell (eds.), <i>Machine Learning: Proceedings of the Twelfth International Conference (ICML 1995)</i>, <a href="Tahoe_City%2C_CA" class="mw-redirect" title="Tahoe City, CA">Tahoe City, CA</a>: Morgan Kaufmann, pp.&nbsp;<span class="nowrap">194–</span>202</cite>.</li>
<li><cite id="CITEREFDudaHartStork2001" class="citation cs2">Duda, Richard O.; Hart, Peter E.; Stork, David G. (2001), <i>Pattern Classification</i> (2nd&nbsp;ed.), <a href="New_York_City" title="New York City">New York City</a>: John Wiley &amp; Sons, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a>&nbsp;<bdi>978-0-471-05669-0</bdi></cite></li>
<li><cite id="CITEREFFayyadIrani1993" class="citation cs2">Fayyad, Usama M.; Irani, Keki B. (1993), "Multi-interval discretization of continuous-valued attributes for classification learning", <i>Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93)</i>, <a href="Chamb%C3%A9ry%2C_France" class="mw-redirect" title="Chambéry, France">Chambéry, France</a>, pp.&nbsp;<span class="nowrap">1022–</span>1027</cite><span class="cs1-maint citation-comment"><code class="cs1-code">{{citation}}</code>: CS1 maint: location missing publisher (link)</span>.</li>
<li><cite id="CITEREFGrzymala-BusseStefanowski2001" class="citation cs2">Grzymala-Busse, Jerzy W.; Stefanowski, Jerzy (2001), "Three discretization methods for rule induction", <i>International Journal of Intelligent Systems</i>, <b>16</b> (1): <span class="nowrap">29–</span>38, <a href="CiteSeerX_(identifier)" class="mw-redirect" title="CiteSeerX (identifier)">CiteSeerX</a>&nbsp;<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.2975">10.1.1.330.2975</a></span>, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1002%2F1098-111X%28200101%2916%3A1%3C29%3A%3AAID-INT4%3E3.0.CO%3B2-0">10.1002/1098-111X(200101)16:1&lt;29::AID-INT4&gt;3.0.CO;2-0</a></cite>.</li>
<li><cite id="CITEREFHastieTibshiraniFriedman2001" class="citation cs2"><a href="Trevor_Hastie" title="Trevor Hastie">Hastie, Trevor</a>; <a href="Robert_Tibshirani" title="Robert Tibshirani">Tibshirani, Robert</a>; Friedman, Jerome (2001), <i>The Elements of Statistical Learning: Data Mining, Inference, and Prediction</i>, <a href="New_York_City" title="New York City">New York City</a>: Springer, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a>&nbsp;<bdi>978-0-387-84857-0</bdi></cite></li>
<li><cite id="CITEREFKraskovStögbauerAndrzejakGrassberger2003" class="citation cs2">Kraskov, Alexander; Stögbauer, Harald; Andrzejak, Ralph G.; Grassberger, Peter (2003), <i>Hierarchical clustering based on mutual information</i>, <a href="ArXiv_(identifier)" class="mw-redirect" title="ArXiv (identifier)">arXiv</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://arxiv.org/abs/q-bio/0311039">q-bio/0311039</a></span>, <a href="Bibcode_(identifier)" class="mw-redirect" title="Bibcode (identifier)">Bibcode</a>:<a rel="nofollow" class="external text" href="https://ui.adsabs.harvard.edu/abs/2003q.bio....11039K">2003q.bio....11039K</a></cite>.</li>
<li><cite id="CITEREFLeeShin1994" class="citation cs2">Lee, Changhwan; Shin, Dong-Guk (1994), "A context-sensitive discretization of numeric attributes for classification learning", in A. G. Cohn (ed.), <i>Proceedings of the 11th European Conference on Artificial Intelligence (ECAI 94)</i>, <a href="Netherlands" title="Netherlands">NL</a>, pp.&nbsp;<span class="nowrap">428–</span>432</cite><span class="cs1-maint citation-comment"><code class="cs1-code">{{citation}}</code>: CS1 maint: location missing publisher (link)</span>.</li>
<li><cite id="CITEREFLiuWellman2002" class="citation cs2">Liu, Chao-Lin; Wellman, Michael (2002), "Evaluation of Bayesian networks with flexible state-space abstraction methods", <i>International Journal of Approximate Reasoning</i>, <b>30</b> (1): <span class="nowrap">1–</span>39, <a href="CiteSeerX_(identifier)" class="mw-redirect" title="CiteSeerX (identifier)">CiteSeerX</a>&nbsp;<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.7040">10.1.1.127.7040</a></span>, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2FS0888-613X%2801%2900067-6">10.1016/S0888-613X(01)00067-6</a>, <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a>&nbsp;<a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:17529419">17529419</a></cite>.</li>
<li><cite id="CITEREFLiuWellman2004" class="citation cs2">Liu, Chao-Lin; Wellman, Michael (2004), "Bounding probabilistic relationships in Bayesian networks using qualitative influences: Methods and applications", <i>International Journal of Approximate Reasoning</i>, <b>36</b> (1): <span class="nowrap">31–</span>73, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2Fj.ijar.2003.06.002">10.1016/j.ijar.2003.06.002</a></cite>.</li>
<li><cite id="CITEREFLiuHussainTanDasii2002" class="citation cs2">Liu, Huan; Hussain, Farhad; Tan, Chew Lim; Dasii, Manoranjan (2002), "Discretization: An enabling technique", <i>Data Mining and Knowledge Discovery</i>, <b>6</b> (4): <span class="nowrap">393–</span>423, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1023%2FA%3A1016304305535">10.1023/A:1016304305535</a>, <a href="S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a>&nbsp;<a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:207609303">207609303</a></cite>.</li>
<li><cite id="CITEREFLudlWidmer2000" class="citation cs2">Ludl, Marcus-Christopher; Widmer, Gerhard (2000), "Relative unsupervised discretization for association rule mining", in Djamel A. Zighed; Jan Komorowski; Jan Zytkow (eds.), <i>Proceedings of the 4th European Conference on Principles of Data Mining and Knowledge Discovery (PKDD 2000)</i>, Lecture Notes in Computer Science, vol.&nbsp;1910, <a href="Lyon%2C_France" class="mw-redirect" title="Lyon, France">Lyon, France</a>, pp.&nbsp;<span class="nowrap">148–</span>158, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F3-540-45372-5_15">10.1007/3-540-45372-5_15</a></span>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a>&nbsp;<bdi>978-3-540-41066-9</bdi></cite><span class="cs1-maint citation-comment"><code class="cs1-code">{{citation}}</code>: CS1 maint: location missing publisher (link)</span>.</li>
<li><cite id="CITEREFMontiCooper1999" class="citation cs2">Monti, Stefano; Cooper, Gregory F. (1999), <a rel="nofollow" class="external text" href="http://citeseer.ist.psu.edu/monti99latent.html">"A latent variable model for multivariate discretization"</a>, <i>Uncertainty 99: The 7th International Workshop on Artificial Intelligence and Statistics</i>, <a href="Fort_Lauderdale%2C_FL" class="mw-redirect" title="Fort Lauderdale, FL">Fort Lauderdale, FL</a></cite><span class="cs1-maint citation-comment"><code class="cs1-code">{{citation}}</code>: CS1 maint: location missing publisher (link)</span>.</li>
<li><cite id="CITEREFMartinoGiulianiRizzi2018" class="citation cs2">Martino, Alessio; Giuliani, Alessandro; Rizzi, Antonello (2018), "Granular Computing Techniques for Bioinformatics Pattern Recognition Problems in Non-metric Spaces", in Pedrycz W.; Chen SM. (eds.), <i>Computational Intelligence for Pattern Recognition</i>, Studies in Computational Intelligence, vol.&nbsp;777, Springer International Publishing, pp.&nbsp;<span class="nowrap">53–</span>81, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-319-89629-8_3">10.1007/978-3-319-89629-8_3</a>, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a>&nbsp;<bdi>978-3-319-89628-1</bdi></cite>.</li>
<li><cite id="CITEREFNguyenNguyen1998" class="citation cs2">Nguyen, Hung Son; Nguyen, Sinh Hoa (1998), "Discretization methods in data mining", in Lech Polkowski; Andrzej Skowron (eds.), <i>Rough Sets in Knowledge Discovery 1: Methodology and Applications</i>, <a href="Heidelberg" title="Heidelberg">Heidelberg</a>: Physica-Verlag, pp.&nbsp;<span class="nowrap">451–</span>482</cite>.</li>
<li><cite id="CITEREFPfahringer1995" class="citation cs2">Pfahringer, Bernhard (1995), <a rel="nofollow" class="external text" href="http://citeseer.ist.psu.edu/pfahringer95compressionbased.html">"Compression-based discretization of continuous attributes"</a>, in Armand Prieditis; Stuart Russell (eds.), <i>Machine Learning: Proceedings of the Twelfth International Conference (ICML 1995)</i>, <a href="Tahoe_City%2C_CA" class="mw-redirect" title="Tahoe City, CA">Tahoe City, CA</a>: Morgan Kaufmann, pp.&nbsp;<span class="nowrap">456–</span>463</cite>.</li>
<li><cite id="CITEREFRencher2002" class="citation cs2">Rencher, Alvin C. (2002), <i>Methods of Multivariate Analysis</i>, <a href="New_York_City" title="New York City">New York City</a>: Wiley</cite>.</li>
<li><cite id="CITEREFSimonAndo1963" class="citation cs2">Simon, Herbert A.; Ando, Albert (1963), "Aggregation of variables in dynamic systems", in Albert Ando; Franklin M. Fisher; Herbert A. Simon (eds.), <i>Essays on the Structure of Social Science Models</i>, Cambridge, MA: MIT Press, pp.&nbsp;<span class="nowrap">64–</span>91</cite></li>
<li><cite id="CITEREFSimon1996" class="citation cs2">Simon, Herbert A. (1996), "The architecture of complexity: Hierarchic systems", in Herbert A. Simon (ed.), <i>The Sciences of the Artificial</i> (2nd&nbsp;ed.), Cambridge, MA: MIT Press, pp.&nbsp;<span class="nowrap">183–</span>216</cite></li>
<li><cite id="CITEREFSlezakSynakWojnaWroblewski2013" class="citation cs2">Slezak, Dominik; Synak, Piotr; Wojna, Arkadiusz; Wroblewski, Jakub (2013), "Two Database Related Interpretations of Rough Approximations: Data Organization and Query Execution", <i>Fundamenta Informaticae</i>, <b>127</b> (<span class="nowrap">1–</span>4): <span class="nowrap">445–</span>459, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.3233%2FFI-2013-920">10.3233/FI-2013-920</a></cite>.</li>
<li><cite id="CITEREFTing1994" class="citation cs2">Ting, Kai Ming (1994), <a rel="nofollow" class="external text" href="http://citeseer.ist.psu.edu/145651.html"><i>Discretization of continuous-valued attributes and instance-based learning (Technical Report No.491)</i></a>, <a href="Sydney" title="Sydney">Sydney</a>: Basser Department of Computer Science</cite>.</li>
<li><cite id="CITEREFWangLiu1998" class="citation cs2">Wang, Ke; Liu, Bing (1998), <a rel="nofollow" class="external text" href="http://citeseer.ist.psu.edu/wang98concurrent.html">"Concurrent discretization of multiple attributes"</a>, in Springer (ed.), <i>Proceedings of the 5th Pacific Rim International Conference on Artificial Intelligence</i>, <a href="London" title="London">London</a>: Springer-Verlag, pp.&nbsp;<span class="nowrap">250–</span>259</cite>.</li>
<li><cite id="CITEREFWatanabe1960" class="citation cs2"><a href="Satosi_Watanabe" title="Satosi Watanabe">Watanabe, Satosi</a> (1960), "Information theoretical analysis of multivariate correlation", <i>IBM Journal of Research and Development</i>, <b>4</b> (1): <span class="nowrap">66–</span>82, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1147%2Frd.41.0066">10.1147/rd.41.0066</a></cite>.</li>
<li><cite id="CITEREFWatanabe1969" class="citation cs2"><a href="Satosi_Watanabe" title="Satosi Watanabe">Watanabe, Satosi</a> (1969), <i>Knowing and Guessing: A Quantitative Study of Inference and Information</i>, <a href="New_York_City" title="New York City">New York City</a>: Wiley</cite>.</li>
<li><cite id="CITEREFWittenFrank2005" class="citation cs2">Witten, Ian H.; Frank, Eibe (2005), <a rel="nofollow" class="external text" href="https://web.archive.org/web/20201127014857/https://www.cs.waikato.ac.nz/~ml/weka/book.html"><i>Data Mining: Practical Machine Learning Tools and Techniques</i></a> (2&nbsp;ed.), <a href="Amsterdam" title="Amsterdam">Amsterdam</a>: Morgan Kaufmann, archived from <a rel="nofollow" class="external text" href="http://www.cs.waikato.ac.nz/~ml/weka/book.html">the original</a> on 2020-11-27<span class="reference-accessdate">, retrieved <span class="nowrap">2007-02-11</span></span></cite></li>
<li>Yao, Y.Y. (2004) "A Partition Model of Granular Computing", Lecture Notes in Computer Science (to appear)</li>
<li><cite id="CITEREFYao2001" class="citation conference cs1">Yao, Y. Y. (2001). <a rel="nofollow" class="external text" href="http://portal.acm.org/citation.cfm?id=675398">"On modeling data mining with granular computing"</a>. <i>Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC 2001)</i>. pp.&nbsp;<span class="nowrap">638–</span>643.</cite></li>
<li><cite id="CITEREFYao2006" class="citation conference cs1">Yao, Yiyu (2006). <a rel="nofollow" class="external text" href="https://wayback.archive-it.org/all/20070418031341/http://www.cs.uregina.ca/~yyao/PAPER_PDF/grcfordm06.pdf">"Granular computing for data mining"</a> <span class="cs1-format">(PDF)</span>. In <a href="Belur_V._Dasarathy" title="Belur V. Dasarathy">Dasarathy, Belur V.</a> (ed.). <i>Proceedings of the SPIE Conference on Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security</i>. Archived from <a rel="nofollow" class="external text" href="http://www2.cs.uregina.ca/~yyao/PAPER_PDF/grcfordm06.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 2007-04-18.</cite></li>
<li><cite id="CITEREFYaoYao,_Y._Y.2002" class="citation conference cs1">Yao, J. T.; Yao, Y. Y. (2002). <a rel="nofollow" class="external text" href="http://www2.cs.uregina.ca/~jtyao/Papers/53_RSCTC02.pdf">"Induction of classification rules by granular computing"</a> <span class="cs1-format">(PDF)</span>. <i>Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing (TSCTC'02)</i>. London, UK: Springer-Verlag. pp.&nbsp;<span class="nowrap">331–</span>338.</cite></li>
<li>Zadeh, L.A. (1997) "Toward a Theory of Fuzzy Information Granulation and its Centrality in Human Reasoning and Fuzzy Logic"<i>, Fuzzy Sets and Systems</i>, 90:111-127</li>
<li><cite id="CITEREFZighedRabasédaRakotomalala1998" class="citation cs2">Zighed, D. A.; Rabaséda, S.; Rakotomalala, R. (1998), <span class="id-lock-subscription" title="Paid subscription required"><a rel="nofollow" class="external text" href="http://portal.acm.org/citation.cfm?id=353472">"FUSINTER: A method for discretization of continuous attributes"</a></span>, <i><a href="International_Journal_of_Uncertainty%2C_Fuzziness_and_Knowledge-Based_Systems" title="International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems">International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems</a></i>, <b>6</b> (3): <span class="nowrap">307–</span>326, <a href="Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1142%2Fs0218488598000264">10.1142/s0218488598000264</a></cite>.</li></ul>
</div></div><!--htdig_noindex--><div><div class="zim-footer">
This article is issued from <a class="external text" title="Last edited on 2025-05-26" href="https://en.wikipedia.org/wiki/?title=Granular_computing&amp;oldid=1292254273">Wikipedia</a>. The text is available under <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-Share Alike 4.0</a> unless otherwise noted. Additional terms may apply for the media files.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>

</body></html>